| emsoft | participants

Robby Lampert

EMSOFT 2011: 11th International Conference on Embedded Software

Model-Checking Behavioral Programs

David Harel, Robby Lampert, Assaf Marron, and Gera Weiss